МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІСЬКА ПОЛІТЕХНІКА» Кафедра ІСМ Звіт До лабораторної роботи №5 З дисципліни: «Методи та системи штучного інтелекту» На тему: «Алгоритм Квайна та Девіса-Патнема доведення теорем у штучному інтелекті»  Мета роботи: полягає у вивченні алгоритмів Квайна та Девіса-Патнема доведення теорем у штучному інтелекті. Теоретичні відомості Особливість алгоритму Девіса–Патнема (M. Davis, H. Putnam) полягає у використанні евристик для видалення з фор- мул, які перевіряють на заперечуваність, окремих елементів, та формулюванні висновку про розв’язок отриманням спеціальної форми логічної формули. Алгоритм Девіса–Патнема є модифікацією алгоритму Куайна, у якій доведення виконують побудовою відповідного семантичного дерева з вибором атомів базису в певній послідовності. Завдання лабораторної роботи: Скласти програму, яка дозволяє доводити теореми у штучному інтелекті застосуванням алгоритмів Квайна та Девіса-Патнема. Програма повинна доводити невиконанність заданої множини диз’юнктів або демонструвати її виконанність. Результати виконання роботи: vovk_6; public class rrrrr extends javax.swing.JFrame { // <editor-fold defaultstate="collapsed" desc="Generated Code"> private void initComponents() { jLabel1 = new javax.swing.JLabel(); jTextField1 = new javax.swing.JTextField(); jTextField2 = new javax.swing.JTextField(); jTextField3 = new javax.swing.JTextField(); jTextField4 = new javax.swing.JTextField(); jTextField5 = new javax.swing.JTextField(); jLabel2 = new javax.swing.JLabel(); jTextField6 = new javax.swing.JTextField(); jButton1 = new javax.swing.JButton(); jLabel3 = new javax.swing.JLabel(); jLabel4 = new javax.swing.JLabel(); jLabel5 = new javax.swing.JLabel(); jLabel6 = new javax.swing.JLabel(); jTextField7 = new javax.swing.JTextField(); jTextField8 = new javax.swing.JTextField(); jTextField9 = new javax.swing.JTextField(); jTextField10 = new javax.swing.JTextField(); jLabel7 = new javax.swing.JLabel(); jLabel8 = new javax.swing.JLabel(); jTextField11 = new javax.swing.JTextField(); setDefaultCloseOperation(javax.swing.WindowConstants.EXIT_ON_CLOSE); jLabel1.setText("S = {"); jTextField1.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(java.awt.event.ActionEvent evt) { jTextField1ActionPerformed(evt); } }); jTextField2.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(java.awt.event.ActionEvent evt) { jTextField2ActionPerformed(evt); } }); jTextField3.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(java.awt.event.ActionEvent evt) { jTextField3ActionPerformed(evt); } }); jLabel2.setText("}"); jTextField6.setText("Теорема за алгоритмом Девіса-Патмена"); jTextField6.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(java.awt.event.ActionEvent evt) { jTextField6ActionPerformed(evt); } }); jButton1.setText("Довести/Спростувати"); jButton1.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(java.awt.event.ActionEvent evt) { jButton1ActionPerformed(evt); } }); jLabel3.setText("p"); jLabel4.setText("q"); jLabel5.setText("r"); jLabel6.setText("s"); jTextField7.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(java.awt.event.ActionEvent evt) { jTextField7ActionPerformed(evt); ...